Is the Continuum Hypothesis a Definite Mathematical Problem?

نویسندگان

  • Solomon Feferman
  • Georg Cantor
چکیده

[t]he analysis of the phrase " how many " unambiguously leads to a definite meaning for the question [ " How many different sets of integers do their exist? " ]: the problem is to find out which one of the ‫'א‬s is the number of points of a straight line… Cantor, after having proved that this number is greater than ‫א‬ 0 , conjectured that it is ‫א‬ 1. An equivalent proposition is this: any infinite subset of the continuum has the power either of the set of integers or of the whole continuum. This is Cantor's continuum hypothesis. … But, although Cantor's set theory has now had a development of more than sixty years and the [continuum] problem is evidently of great importance for it, nothing has been proved so far relative to the question of what the power of the continuum is or whether its subsets satisfy the condition just stated, except that … it is true for a certain infinitesimal fraction of these subsets, [namely] the analytic sets. Not even an upper bound, however high, can be assigned for the power of the continuum. It is undecided whether this number is regular or singular, accessible or inaccessible, and (except for König's negative result) what its character of cofinality is. Throughout the latter part of my discussion, I have been assuming a naïve and uncritical attitude toward CH. While this is in fact my attitude, I by no means wish to dismiss the opposite viewpoint. Those who argue that the concept of set is not sufficiently clear to fix the truth-value of CH have a position which is at present difficult to assail. As long as no new axiom is found which decides CH, their case will continue to grow stronger, and our assertion that the meaning of CH is clear will sound more and more empty. Abstract: The purpose of this article is to explain why I believe that the Continuum Hypothesis (CH) is not a definite mathematical problem. My reason for that is that the concept of arbitrary set essential to its formulation is vague or underdetermined and there is no way to sharpen it without violating what it is supposed to be about. In addition, there is considerable circumstantial evidence to support the view that CH is not definite. In more detail, the status of CH is examined from three directions, first a thought …

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Is the Continuum Hypothesis a definite mathematical problem? DRAFT 9/18/11 For: Exploring the Frontiers of Incompleteness (EFI) Project, Harvard 2011-2012

[t]he analysis of the phrase “how many” unambiguously leads to a definite meaning for the question [“How many different sets of integers do their exist?”]: the problem is to find out which one of the א ‟s is the number of points of a straight line... Cantor, after having proved that this number is greater than א0, conjectured that it is א1. An equivalent proposition is this: any infinite subset...

متن کامل

TOPOLOGICAL OPTIMIZATION OF VIBRATING CONTINUUM STRUCTURES FOR OPTIMAL NATURAL EIGENFREQUENCY

Keeping the eigenfrequencies of a structure away from the external excitation frequencies is one of the main goals in the design of vibrating structures in order to avoid risk of resonance. This paper is devoted to the topological design of freely vibrating continuum structures with the aim of maximizing the fundamental eigenfrequency. Since in the process of topology optimization some areas of...

متن کامل

A Grey Transportation Problem in Fuzzy Environment

In classical transport models, it is always assumed that parameters such as the distance from each supply node to each demand node or the cost of transferring goods from one node to another, as well as quantities such as supply and demand are definite and definite amounts. But in real matters, considering these assumptions is not logical. On the other hand, there may be a real problem in mathem...

متن کامل

Quantum mechanics without interpretation

It is shown that the independence of the continuum hypothesis points to the unique definite status of the set of intermediate cardinality: the intermediate set exists only as a subset of continuum. This latent status is a consequence of duality of the members of the set. Due to the structural inhomogeneity of the intermediate set, its complete description falls into several “sections” (theories...

متن کامل

Feferman on the Indefiniteness of CH

Feferman is arguably the foremost critic of set theory since Weyl. His paper “Is the continuum hypothesis a definite mathematical problem?” provides a useful overview of his negatie answer, drawing on many papers over many years. The main thesis is that the continuum hypothesis (CH) is an “indefinite” statement and that the underlying reason is that the “concept of arbitrary set [which is essen...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012